#include "Core/task_scheduler.h"
#include"Ports/Windows/windows_tick.h"
#include<stdio.h>

int main()
{
    TaskInit();

    init_systick();

    system_tick_callback_set(TaskScheduleCb);

    while (1)
    {
                TaskHandler();
    }

    deinit_systick();//this function is only used for windows only
    return 0;
}
